additional theorem of probability